abstract interpretation
抽象解译
热门查询
- ragging n. <口>欺负; 开玩笑; 恶作剧; （学生的）胡闹
- hsc abbr. （英）卫生与安全委员会（Health and Safety Commission）
- bacteriologist n. 细菌学家
- tacky adj. 俗气的；发黏的；缺乏教养或风度的
- libel n. 诽谤罪；诋毁；毁坏名誉的东西；控诉书 vt. 中伤；控告；对…进行诽谤 vi. 进行文字诽谤
- muso n. 乐师 n. (Muso)人名；(日)武曾(姓)
- Giotto 乔托(Giotto di Bondone, 1266?-1337, 意大利画家、雕刻家、建筑师)
- rhodes n. 罗兹岛（希腊东南端佐泽卡尼索斯群岛中最大的岛屿）；罗兹市（罗兹岛上的港口城市）
- transgressor n. 违背者；犯规者；罪人
- rekindling v. 重新点火（rekindle的ing形式）
- redirected v. 重新传入，重新寄送（redirect的过去分词形式）
- cass abbr. 货物财务结算系统（Cargo Account Settlement System）；指令主动声纳浮标系统（Commanded Active Sonobuoy System） n. (Cass)人名；(英、西)卡斯
- Vaz [人名] 瓦斯
- woolens n. 毛织品；毛料衣服
- arrowhead n. 箭头；箭头状物；慈菇
- elegiac adj. 挽歌的；哀悼的，哀伤的 n. 挽歌，哀歌
- vermeil n. 朱红色；镀金的银 n. (Vermeil)人名；(法)韦尔梅伊；(德)费尔迈尔 adj. 朱红色的；银外镀金的
- unexposed adj. [摄] 未曝光的；未暴露的；未揭露的 v. 未曝光（unexpose的过去式和过去分词）
- correct adj. 正确的；恰当的；端正的 vt. 改正；告诫 vi. 调整；纠正错误
- questioner n. 发问者；质问者
考试词汇表
- report writer logical record
- reporting consignment profit
- reporting date of statistics
- reporting standard for audit
- reportorial written evidence
- representation in components
- representation of polynomial
- representation of the people
- representation specification
- representative participation
- representativeness heuristic
- representativeness of sample
- reprocessing of nuclear fuel
- reproducible program failure
- reproducible tangible assets
- reproducing head sensitivity
- reproduction test by feeding
- reproductive differentiation
- reproductive problem solving
- reprtitive nerve stimulation
